10.45/10.59	unsat
