1.69/1.72	unsat
