3.31/3.40	unsat
