9.18/11.59	unsat
