2.69/2.73	unsat
