194.62/195.21	unsat
