10.96/11.59	unsat
