7.83/10.09	unsat
