194.42/195.39	unsat
