1.69/4.72	unsat
