3.98/6.50	unsat
