195.16/196.96	unsat
