5.68/10.09	unsat
