6.27/8.00	unsat
