194.05/195.33	unsat
