5.49/6.50	unsat
