12.47/12.58	unsat
