192.36/196.42	unsat
