6.48/8.09	unsat
