11.47/11.59	unsat
