92.73/94.12	unsat
