190.21/192.30	unsat
