1.28/1.69	unsat
