2.59/4.30	unsat
