1.20/1.34	unsat
