2.59/3.19	unsat
