5.18/6.17	unsat
