1.19/5.40	unsat
