1.69/1.75	unsat
