2.59/4.03	unsat
