5.18/6.50	unsat
