6.37/6.50	unsat
