3.39/3.40	unsat
