2.59/3.04	unsat
