6.28/8.09	unsat
