5.17/6.50	unsat
