5.08/6.50	unsat
