92.97/94.98	unsat
