0.05/1.40	unsat
