3.34/3.40	unsat
