1.10/1.69	unsat
