12.46/12.59	unsat
