81.27/81.43	unsat
