5.08/6.17	unsat
