1.20/1.69	unsat
