81.08/81.49	unsat
