95.68/96.46	unsat
