8.84/10.59	unsat
