192.21/192.78	unsat
