93.41/94.51	unsat
