5.28/6.50	unsat
