2.59/3.30	unsat
