7.84/10.09	unsat
