11.54/11.59	unsat
