1.39/3.31	unsat
