1.59/3.31	unsat
