93.91/94.73	unsat
