2.69/3.25	unsat
