2.93/3.40	unsat
