192.55/196.36	unsat
