12.47/15.92	unsat
