6.07/6.17	unsat
