1.30/3.70	unsat
