2.59/3.40	unsat
