1.20/2.70	unsat
