79.35/81.67	unsat
