2.59/3.39	unsat
