192.19/192.70	unsat
