1.27/1.69	unsat
