2.59/3.24	unsat
