2.59/4.29	unsat
