78.95/81.42	unsat
