3.88/6.50	unsat
