78.48/81.79	unsat
