191.67/195.34	unsat
