6.28/10.17	unsat
