94.05/96.46	unsat
