2.59/4.13	unsat
