6.27/8.09	unsat
