1.19/1.69	unsat
